Default logic - PDFSEARCH.IO - Document Search Engine

Default logic
Results: 67

#	Item
21	В издательстве «Физматлит» в 2004 г Add to Reading List Source URL: raai.org Language: English - Date: 2004-01-22 06:29:02 Non-classical logic Logic programming Philosophical logic Default logic Autoepistemic logic First-order logic Prolog Stable model semantics Non-monotonic logic Logic Mathematical logic Reasoning
22	Reasoning with Sets of Defaults in Default Logic Torsten Schaub∗ Institut f¨ur Informatik, Universit¨at Potsdam, Postfach, D–14415 Potsdam, Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-03-09 17:14:07 Mathematics Logic programming Reasoning Default logic Knowledge representation Defaults Non-monotonic logic Function Inference Logic Mathematical logic Non-classical logic
23	Call for Papers KR-2008: Eleventh International Conference on Principles of Knowledge Representation and Reasoning Sydney, Australia, Sept, 2008 Collocated with NMR-08, ICAPS-08, CP-08 Knowledge Representation a Add to Reading List Source URL: www.informatik.uni-leipzig.de Language: English - Date: 2007-08-20 15:27:27 Mathematical logic Non-classical logic Knowledge representation Non-monotonic logic Knowledge representation and reasoning Description logic Belief revision Paraconsistent logic Default logic Logic Science Reasoning
24	On a Rule-Based Interpretation of Default Conditionals James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2007-05-11 16:16:44 Philosophical logic Reasoning Binary operations Default logic Non-monotonic logic Inference Entailment Material conditional Monotonicity of entailment Logic Logical consequence Non-classical logic
25	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-25 07:04:51 Modal logic Proof theory Boolean algebra Functions and mappings Propositional calculus Provable Provability logic Function Default logic Mathematical logic Logic Mathematics
26	Compiling Specificity into Approaches to Nonmonotonic Reasoning James P. Delgrande School of Computing Science Simon Fraser University Burnaby, B.C. Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-12-10 19:30:01 Logic programming Science Reasoning Knowledge representation Default logic Non-monotonic logic Inference Circumscription Nixon diamond Logic Non-classical logic Mathematical logic
27	A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam Postfach Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-05-13 13:21:07 Non-classical logic Knowledge Reasoning Knowledge representation Consumer theory Default logic Preference Non-monotonic logic Stable model semantics Logic Science Logic programming
28	The Default OLP Configuration File open-logic-config.sty OpenLogic Project[removed]02780ba Description Add to Reading List Source URL: people.ucalgary.ca Language: English - Date: 2015-03-30 12:13:09 Predicate logic Logical syntax Metalogic Well-formed formula Proposition Function Non-logical symbol Symbol Interpretation Logic Mathematical logic Formal languages
29	В издательстве «Физматлит» в 2004 г Add to Reading List Source URL: www.raai.org Language: English - Date: 2004-01-22 06:29:02 Non-classical logic Logic programming Philosophical logic Default logic Autoepistemic logic First-order logic Prolog Stable model semantics Non-monotonic logic Logic Mathematical logic Reasoning
30	Which Style of Reasoning to Choose in the Face of Conflicting Information?∗ Joke Meheus Christian Straßer Peter Verd´ee Centre for Logic and Philosophy of Science University of Ghent, Belgium {Joke.Meheus,Christian.S Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-06-04 07:55:54 Knowledge representation Logic programming Default logic Defeasible reasoning Modal logic Entailment Nixon diamond Paraconsistent logic Logic Non-classical logic Philosophical logic